On Philosophical Incidences of Logic Programming

A Fast and Self-Repairing Genetic Programming Designer for Logic Circuits

Usually, important parameters in the design and implementation of combinational logic circuits are the number of gates, transistors, and the levels used in the design of the circuit. In this regard, various evolutionary paradigms with different competency have recently been introduced. However, while being advantageous, evolutionary paradigms also have some limitations including: a) lack of con...

The Rrelationship between Philosophy and Medicine in The Works of Imam Fakhr Razi: A Distinct Model from Galen and Avicenna

The long-standing interaction of philosophy and medicine has assumed to be as follows: great physicians have been also philosophers, so there is a relationship between medicine and philosophy. In this paper, based on philosophical modeling, essentials of interaction for medicine and philosophy are presented. First, brief descriptions of two models of medicine-philosophy interaction are presente...

Philosophical Incidence of Logic Programming

The Dramatic True Story of the Frame Default

This is an expository article about the solution to the frame problem proposed in 1980 by Raymond Reiter. For years, his “frame default” remained untested and suspect. But developments in some seemingly unrelated areas of computer science—logic programming and satisfiability solvers—eventually exonerated the frame default and turned it into a basis for important applications.

A Formal Characterisation of Hamblin's Action-State Semantics

Hamblin’s Action State Semantics provides a sound philosophical foundation for understanding the character of the imperative. Taking this as our inspiration, in this paper we present a logic of action, which we call ST, that captures the clear ontological distinction between being responsible for the achievement of a state of affairs and being responsible for the performance of an action. We ar...